#ifndef _PIGOS_MM_H_
#define _PIGOS_MM_H_

#include <type.h>
u32_t set_page_table(u32_t vir_addr, u32_t phy_addr);
u32_t map_page(u32_t phy_addr);
void unmap_page(u32_t lin_addr);
void page_fault_int_handle(u32_t error_code, u32_t cr2);
u32_t new_page(int flag_pl);
void increase_page(u32_t addr);
void delete_page(u32_t addr);
u32_t page_table_fork(void);
void free_page_table(int);

#endif /* _PIGOS_MM_H_ */
